deduction theorem - Espagnol Anglais Dictionnaire